---

• Basic concepts
  • Variables and regions
  • True and false
  • External representations
  • Disjointness of types
  • Storage model

---